A Model-Based Agile Process for DO-178C Certification

نویسندگان

  • David J. Coe
  • Jeffrey H. Kulick
چکیده

Increasing complexity has driven aerospace companies to consider the use of Agile processes for development of safety-critical systems. For other domains, Agile processes have been shown to improve cost, schedule, and quality metrics. Airworthiness certification under the Federal Aviation Administration (FAA) guidelines imposes unique challenges that require adaptation of Agile processes. The FAA’s mission is maintaining safety within the National Air Space, and the certification process that the FAA has adopted is a process-oriented standard RTCA DO-178C. Here we present a Model-Based Agile Process (MBA process) that will allow companies to benefit from some of the efficiencies inherent in Agile methods while maintaining compliance with airworthiness certification requirements. Model-based requirements capture using the Unified Modeling Language (UML) facilitates iterative and incremental capture, refinement, and verification of requirements using executable requirements models, maintaining the Agility of the requirements elicitation process.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Certification of Safety-Critical Software Under DO-178C and DO-278A

The RTCA has recently released DO-178C and DO-278A as new certification guidance for the production of airborne and ground-based air traffic management software, respectively. Additionally, RTCA special committee SC-205 has also produced, at the same time, five other companion documents. These documents are RTCA DO-248C, DO-330, DO-331, DO332, and DO-333. These supplements address frequently as...

متن کامل

IKOS: A Framework for Static Analysis based on Abstract Interpretation (Tool Paper)

The RTCA standard (DO-178C) for developing avionic software and getting certification credits includes an extension (DO-333) that describes how developers can use static analysis in certification. In this paper, we give an overview of the IKOS static analysis framework that helps developing static analyses that are both precise and scalable. IKOS harnesses the power of Abstract Interpretation a...

متن کامل

The Impact of RTCA DO-178C on Software Development

A new guideline has emerged to help regulate the development and certification of software and the delivery of multiple supporting documents and records used on aircraft or engines. The previous guideline — called RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, and produced by the Radio Technical Commission for Aeronautics Inc. — served as a de facto stand...

متن کامل

DO-333 Certification Case Studies

RTCA DO-333, Formal Methods Supplement to DO-178C and DO278A, provides guidance for software developers wishing to use formal methods in the certification of airborne systems and air traffic management systems. This paper presents three case studies describing the use of different classes of formal methods to satisfy DO-178C certification objectives. The case studies examine different aspects o...

متن کامل

Using VectorCAST for DO-178B/C Software Verification

Introduction This whitepaper describes how the VectorCAST embedded software testing platform is used to satisfy the Software Verification Process objectives as defined in section 6.0 of the DO-178B and DO-178C standards, “Software Considerations in Airborne Systems and Equipment Certification.” This whitepaper also highlights the differences between the two standards as they relate to Section 1...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013